Teaching “Embedded Operating Systems” using Raspberry Pi and Virtual Machines

Embedded systems design, implementation and programming is an important topic in many curricula of Computer Science and Computer Engineering. This paper describes the estructure of a course on Embedded Operating Systems included in the Degree in Computer Science at the University of Valladolid. The course core elements are the use of virtual machines and Raspberry Pi kits. Our experience shows that the topics covered and the project-based methodology lead to excellent results in terms of student progression.Universidad de Granada: Departamento de Arquitectura y Tecnología de Computadores; Vicerrectorado para la Garantía de la Calida